Poincaré-Birkhoff theorem